Nuprl Definition : scheme-none 11,40
scheme-none() == scheme-constant(Rnone()) 
latex

Definitionsscheme-constant(R), Rnone()
FDL editor aliasesscheme-none

origin